»Ostro zavrnil kritike, češ da so posledica 'lene kritiške prakse in histerije o koncu sveta'.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
Kliknite povezavo za prikaz izjav v želenem obdobju